$\forall$$T$:Type, $d$:EqDecider($T$). eqof($d$) $\in$ $T$$\rightarrow$$T$$\rightarrow\mathbb{B}$